Books by author Jonathan P. Bowen

Showing 1 – 20 out of 24 results

1. 

   Formal Methods: State of the Art and New Directions

   Paul Boca, Jonathan P. Bowen, Jawed Siddiqi | Springer London Ltd, 2009

   
   

   Low in stock at our supplier - Shipping in 11 - 15 days

   Language: English

   Binding: Hardback

   109.54 €

   Buy
2. 

   The Arts and Computational Culture: Real and Virtual Worlds

   Jonathan P. Bowen | Springer, 2025

   
   

   In stock at our supplier - Shipping in 8 - 11 days

   Language: English

   Binding: Paperback

   236.94 €

   Sale 7 %

   You save 19.79 €

   Buy
3. 

   Unifying Theories of Programming

   Jonathan P. Bowen, Huibiao Zhu | Springer International Publishing AG, 2017

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.78 €

   Sale 7 %

   You save 4.29 €

   Buy
4. 

   Engineering Trustworthy Software Systems

   Jonathan P. Bowen, Zhiming Liu, Zili Zhang | Springer Nature Switzerland AG, 2018

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.78 €

   Sale 7 %

   You save 4.29 €

   Buy
5. 

   ZUM '97: The Z Formal Specification Notation

   Jonathan P. Bowen, Michael G. Hinchey, David Till | Springer, Berlin, 1997

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.78 €

   Sale 7 %

   You save 4.29 €

   Buy
6. 

   Abstract State Machines, B and Z

   Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2008

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.78 €

   Sale 7 %

   You save 4.29 €

   Buy
7. 

   ZUM '98: The Z Formal Specification Notation

   Jonathan P. Bowen, Andreas Fett, Michael G. Hinchey | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1998

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.78 €

   Sale 7 %

   You save 4.29 €

   Buy
8. 

   Engineering Trustworthy Software Systems

   Jonathan P. Bowen, Zhiming Liu, Zili Zhang | Springer International Publishing AG, 2017

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   50.66 €

   Sale 9 %

   You save 5.40 €

   Buy
9. 

   Electronic Visualisation in Arts and Culture

   Jonathan P. Bowen, Suzanne Keene, Kia Ng | Springer London Ltd, 2016

   
   

   In stock at our supplier - Shipping in 8 - 11 days

   Language: English

   Binding: Paperback

   154.64 €

   Sale 7 %

   You save 12.89 €

   Buy
10. 

    Industrial-Strength Formal Methods in Practice

    Michael G. Hinchey, Jonathan P. Bowen | Springer London Ltd, 1999

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    151.30 €

    Sale 9 %

    You save 16.24 €

    Buy
11. 

    Provably Correct Systems

    Mike Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog | Springer International Publishing AG, 2017

    
    

    In stock at our supplier - Shipping in 10 - 13 days

    Language: English

    Binding: Hardback

    103.16 €

    Sale 7 %

    You save 8.64 €

    Buy
12. 

    Theories of Programming and Formal Methods

    Jonathan P. Bowen, Qin Li, Qiwen Xu | Springer, Berlin, 2023

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    72.25 €

    Sale 7 %

    You save 6.09 €

    Buy
13. 

    Electronic Visualisation in Arts and Culture

    Jonathan P. Bowen, Suzanne Keene, Kia Ng | Springer London Ltd, 2013

    
    

    In stock at our supplier - Shipping in 10 - 13 days

    Language: English

    Binding: Hardback

    154.64 €

    Sale 7 %

    You save 12.89 €

    Buy
14. 

    Formal Methods: State of the Art and New Directions

    Paul Boca, Jonathan P. Bowen, Jawed Siddiqi | Springer London Ltd, 2014

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    103.16 €

    Sale 7 %

    You save 8.64 €

    Buy
15. 

    Theories of Programming and Formal Methods

    Jonathan P. Bowen, Qin Li, Qiwen Xu | Springer Nature B.V., 2023

    
    

    In stock at our supplier - Shipping in 10 - 18 days

    Language: English

    Binding: Paperback

    57.05 €

    Sale 0 %

    You save 0.01 €

    Buy
16. 

    Provably Correct Systems

    Mike Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog | Springer International Publishing AG, 2018

    
    

    In stock at our supplier - Shipping in 8 - 11 days

    Language: English

    Binding: Paperback

    103.16 €

    Sale 7 %

    You save 8.64 €

    Buy
17. 

    Engineering Trustworthy Software Systems

    Jonathan P. Bowen, Cláudio Gomes, Zhiming Liu | Springer, Berlin, 2025

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    50.66 €

    Sale 9 %

    You save 5.40 €

    Buy
18. 

    Formal Methods and Testing

    Robert M. Hierons, Jonathan P. Bowen, Mark Harman | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2008

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    51.78 €

    Sale 7 %

    You save 4.29 €

    Buy
19. 

    Engineering Trustworthy Software Systems

    Jonathan P. Bowen, Zhiming Liu, Zili Zhang | Springer Nature Switzerland AG, 2019

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    58.67 €

    Sale 9 %

    You save 6.30 €

    Buy
20. 

    ZUM '95: The Z Formal Specification Notation

    Jonathan P. Bowen, Michael G. Hinchey | Springer, Berlin, 1995

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    103.16 €

    Sale 7 %

    You save 8.64 €

    Buy

We offer discounts for students and ISIC card holders. Find out more